Using LINQ as a universal tool for defining architectural assertions
نویسندگان
چکیده
We demonstrate that Microsoft LINQ can be used as a convenient tool to define architectural assertions. We introduce an abstract model of software based on a directed multigraph and formalize the notion of software architecture and architectural assertions. We demonstrate how Microsoft Visual Studio can be harnessed to extract the architecture of a given software project and append it with assertions using LINQ notation. In particular we explain the flow of data processing that takes place within Visual Studio engine. We follow with examples of assertions selected to demonstrate the expressive power of our approach. We conclude by showing subsequent areas of research worth following in order to deepen the research indicated in this paper.
منابع مشابه
LINQ to XSD
‘LINQ to XSD’ is the code name of an incubation project at Microsoft that investigates a typed XML processing approach for .NET and LINQ. The LINQ to XSD technology comes essentially in the form of a mapping tool that takes XML schemas (in fact, XSD schemas) as input and maps them canonically to .NET types that serve as typed views on XML trees (to be precise: XML trees of the LINQ to XMLAPI). ...
متن کاملDefining Pathways and Trade-offs Toward Universal Health Coverage; Comment on “Ethical Perspective: Five Unacceptable Trade-offs on the Path to Universal Health Coverage”
The World Health Organization’s (WHO’s) World Health Report 2010, “Health systems financing, the path to universal coverage,” promoted universal health coverage (UHC) as an aspirational objective for country health systems. Yet, in addition to the dimensions of services and coverage, distribution of coverage in the population, and financial risk protection highlighted by the report, the conside...
متن کاملDefinition and Implementation of Temporal Operators for a 4 D Query Language
Currently, there is no technology available to validate 4D Building Information Models using formal methods of temporal and spatial analysis. We propose to fill this technological gap by providing a query language which provides dedicated spatial and temporal operators. In the presented approach, a building is digitally represented by an instance of the neutral data format Industry Foundation C...
متن کاملDefining Robust Recovery Solutions for Preserving Service Quality during Rail/Metro Systems Failure
In this paper, we propose a sensitivity analysis for evaluating the effectiveness of recovery solutions in the case of disturbed rail operations. Indeed, when failures or breakdowns occur during daily service, new strategies have to be implemented so as to react appropriately and re-establish ordinary conditions as rapidly as possible. In this context, the use of rail simulation is vital: for e...
متن کاملDefining the Benefit Package of Thailand Universal Coverage Scheme: From Pragmatism to Sophistication
Benefit package is crucial for implementing universal health coverage (UHC). This editorial analyses how the benefit package of the Thai Universal Coverage Scheme (UC Scheme) evolved from an implicit comprehensive package which covered all conditions and interventions (with a few exceptions), to additional explicit positive lists. In 2002 when the Thai UC Scheme was lau...
متن کامل